git integration with jenkins